Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Bandwidth constrained multi-interface networks
2011-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra
Brief announcement: Local distributed verification
2016-01-01 Balliu, A.; D'Angelo, G; Fraigniaud, P.; Olivetti, D.
Compositional Reasoning for Multi-modal Logics
2013-01-01 Aceto, L; Ingólfsdóttir, A; Prisacariu, C; Sack, J
Computing Approximate Nash Equilibria in Network Congestion Games with Polynomially Decreasing Cost Functions
2015-01-01 Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
Data-Driven Choreographies à la Klaim
2019-01-01 Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E
Decompositional Reasoning about the History of Parallel Processes
2011-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Delay Management Problem: Complexity Results and Robust Algorithms
2008-01-01 S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni; A., Navarra
Distance queries in large-scale fully dynamic complex networks
2016-01-01 D'Angelo, G; D'Emidio, M.; Frigioni, D.
Dynamic Arc-Flags in Road Networks
2011-01-01 D'Angelo, Gianlorenzo; D., Frigioni; And, C. Vitale.
Engineering a new loop-free shortest paths routing algorithm
2012-01-01 D'Angelo, Gianlorenzo; M., D'Emidio; D., Frigioni; and V., Maurizio
Enhancing the computation of distributed shortest paths on real dynamic networks
2012-01-01 D'Angelo, G; M., D'Emidio; D., Frigioni; D., Romano
Evaluation of Recoverable-Robust Timetables on Tree Networks
2009-01-01 D'Angelo, G; G., DI STEFANO; A., Navarra
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.
2013-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
A Foundation for Runtime Monitoring
2017-01-01 Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A
A Framework for Parameterized Monitorability.
2018-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A
Fully Dynamic Maintenance of Arc-Flags in Road Networks
2012-01-01 D'Angelo, Gianlorenzo; M., D'Emidio; D., Frigioni; and C., Vitale
Gathering and exclusive searching on rings under minimal assumptions
2014-01-01 D'Angelo, G; Navarra, A.; Nisse, N.
Gathering of Robots on Anonymous Grids without multiplicity detection
2012-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; R., Klasing; and A., Navarra
Gathering of Six Robots on Anonymous Symmetric Rings
2011-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra
Greedily improving our own centrality in a network
2015-01-01 Crescenzi, P.; D'Angelo, G; Severini, L.; Velaj, Y.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Bandwidth constrained multi-interface networks | 1-gen-2011 | D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra | |
| Brief announcement: Local distributed verification | 1-gen-2016 | Balliu, A.; D'Angelo, G; Fraigniaud, P.; Olivetti, D. | |
| Compositional Reasoning for Multi-modal Logics | 1-gen-2013 | Aceto, L; Ingólfsdóttir, A; Prisacariu, C; Sack, J | |
| Computing Approximate Nash Equilibria in Network Congestion Games with Polynomially Decreasing Cost Functions | 1-gen-2015 | Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. | |
| Data-Driven Choreographies à la Klaim | 1-gen-2019 | Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E | |
| Decompositional Reasoning about the History of Parallel Processes | 1-gen-2011 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R | |
| Delay Management Problem: Complexity Results and Robust Algorithms | 1-gen-2008 | S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni; A., Navarra | |
| Distance queries in large-scale fully dynamic complex networks | 1-gen-2016 | D'Angelo, G; D'Emidio, M.; Frigioni, D. | |
| Dynamic Arc-Flags in Road Networks | 1-gen-2011 | D'Angelo, Gianlorenzo; D., Frigioni; And, C. Vitale. | |
| Engineering a new loop-free shortest paths routing algorithm | 1-gen-2012 | D'Angelo, Gianlorenzo; M., D'Emidio; D., Frigioni; and V., Maurizio | |
| Enhancing the computation of distributed shortest paths on real dynamic networks | 1-gen-2012 | D'Angelo, G; M., D'Emidio; D., Frigioni; D., Romano | |
| Evaluation of Recoverable-Robust Timetables on Tree Networks | 1-gen-2009 | D'Angelo, G; G., DI STEFANO; A., Navarra | |
| Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. | 1-gen-2013 | Aceto, L; Goriac, E; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| A Foundation for Runtime Monitoring | 1-gen-2017 | Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A | |
| A Framework for Parameterized Monitorability. | 1-gen-2018 | Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A | |
| Fully Dynamic Maintenance of Arc-Flags in Road Networks | 1-gen-2012 | D'Angelo, Gianlorenzo; M., D'Emidio; D., Frigioni; and C., Vitale | |
| Gathering and exclusive searching on rings under minimal assumptions | 1-gen-2014 | D'Angelo, G; Navarra, A.; Nisse, N. | |
| Gathering of Robots on Anonymous Grids without multiplicity detection | 1-gen-2012 | D'Angelo, Gianlorenzo; G., Di Stefano; R., Klasing; and A., Navarra | |
| Gathering of Six Robots on Anonymous Symmetric Rings | 1-gen-2011 | D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra | |
| Greedily improving our own centrality in a network | 1-gen-2015 | Crescenzi, P.; D'Angelo, G; Severini, L.; Velaj, Y. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile